one-to-one function algebraically